tools: building IPXE should be determined by CONFIG_IPXE
authorWei Liu <wei.liu2@citrix.com>
Fri, 24 Aug 2018 10:54:04 +0000 (11:54 +0100)
committerWei Liu <wei.liu2@citrix.com>
Sun, 26 Aug 2018 09:52:18 +0000 (10:52 +0100)
commit4be26bd61efdb8fbc39ab4528f1f3dea040b605f
treec4ba2e8dad9cd1130917b9254f24db67b4e12cb0
parenta923919797c39d51ea0b808ea691bed20fe8e072
tools: building IPXE should be determined by CONFIG_IPXE

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Reviewed-by: Roger Pau Monné <roger.pau@citrix.com>
Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>
tools/firmware/Makefile